g :: B -> C